Scale-Based Reasoning on Possible Law Equations

The objective of this paper is to propose a novel approach to automatically reason formulae of laws and their solutions. Our approach takes an intermediate position between the deductive approaches such as dimension-based and symmetrybased reasoning and the empirical approaches such as BACON. It does not require a priori insights into the objective system but data through measurement, and hence it can be applied to various domains like BACON and is not limited to physics. In spite of its data-driven feature, the solutions of the formulae obtained by our approach are ensured to be sound similarly to the dimension-based approach. The basic idea is the combined use of deductive \scale-based reasoning" and data-driven reasoning. Especially, the scale-based reasoning is the main part in this study. The features of our approach are demonstrated by deriving the basic formulae of the ideal gas law and Black's speci c heat law. The scalebased reasoning may provide a basis to develop qualitative models of ambiguous domains such as biology, psychology, economics and social science. This will also contribute to the research area of knowledge discovery.